$\forall$$i_{1}$, $i_{2}$, $j_{1}$, $j_{2}$:$\mathbb{Z}$. ($i_{1}$ $<$ $j_{1}$) $\Rightarrow$ ($i_{2}$ $\leq$ $j_{2}$) $\Rightarrow$ (($i_{1}$+$i_{2}$) $<$ ($j_{1}$+$j_{2}$))